VARIATIONS SUR UN THÈME DE ALDAMA ET SHELAH
نویسندگان
چکیده
منابع مشابه
Variations sur un THème de Aldama et Shelah
We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...
متن کاملSpécialisation et sous-typage : thème et variations
Class specialization is the most original feature of object orientation, but identifying it to subtyping leads to the well known covariance-contravariance controversy. Type safety requires contravariance while specialization needs covariance. This paper aims to precisely analyse this problem, to show how irreductible it is and the need for type errors. We show that many alternatives as multiple...
متن کاملVariations sur le théorème de Cassels, Ellison et Pfister
Artin [Ar] (1927) : Une fraction rationnelle f ∈ R(X1, . . . , Xn) positive sur R est une somme de carrés. Pfister [Pf] (1967) : c’est une somme de 2 carrés. En particulier pour n = 2, f ∈ 4 R(X,Y ). Cassels, Ellison, Pfister [CEP] (1971) : 4 carrés sont vraiment nécéssaires (i.e. le nombre de Pythagore de R(X, Y ) est 4, car le polynôme de Motzkin 1 + XY 4 + XY 2 − 3XY , positif ou nul, ne s’é...
متن کاملDétection et isolation de défauts actionneurs basées sur un modèle de l'organe de commande
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملle thème de la robinsonnade dans «vendredi ou les limbes du pacifique» de michel tournier avec un regard sur « la vie et les aventures de robinson crusoë» de daniel defoe
la robinsonnade est un thème littéraire qui provient du nom de robinson, le personnage créé par lauteur anglais daniel defoe, au xviii e siècle, dans son œuvre intitulée, la vie et les aventures de robinson crusoë, (1719). une robinsonnade comporte un double sens : lun qui est une indication de fiction et lautre comme un commentaire, car pour lécrivain dune robinsonnade, il y a une double tâch...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2016
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2014.67